Bernhard Steffen (u. A.) | Leveraging Applications Of Formal

Reiner Hähnle (u. A.) | Leveraging Applications Of Formal Methods,...

Leveraging Applications Of Formal Methods, Verification And

Aritra Hazra (u. A.) | Cohesive Coverage Management Leveraging Formal

Bernhard Steffen (u. A.) | Mathematical Foundations Of Advanced

Elizabeth Black (u. A.) | Theory And Applications Of Formal

Bernhard Ganter (u. A.) | Formal Concept Analysis | Taschenbuch |

Formal Concept Analysis | Bernhard Ganter (u. A.) | Mathematical

Bernhard Steffen (u. A.) | Correct System Design | Taschenbuch |

Software Engineering And Formal Methods | Martin Steffen (u. A.) |

Cohesive Coverage Management Leveraging Formal Test Plans A Design

Bernhard Steffen (u. A.) | Grundlagen Der Höheren Informatik | Buch |

Bernhard Rumpe (u. A.) | Software Engineering And Formal Methods |

A Formal Framework For Run-time Verification Of Web Applications An

Steffen Zschaler (u. A.) | Software Technologies: Applications And

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |